home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / lib / tex / texinfo.tex < prev    next >
Text File  |  1990-08-01  |  63KB  |  2,044 lines
  1. %% TeX macros to handle texinfo files
  2.  
  3. %   Copyright (C) 1985, 1986, 1988 Free Software Foundation, Inc.
  4.  
  5. %GNU CC is free software; you can redistribute it and/or modify
  6. %it under the terms of the GNU General Public License as published by
  7. %the Free Software Foundation; either version 1, or (at your option)
  8. %any later version.
  9.  
  10. %GNU CC is distributed in the hope that it will be useful,
  11. %but WITHOUT ANY WARRANTY; without even the implied warranty of
  12. %MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13. %GNU General Public License for more details.
  14.  
  15. %You should have received a copy of the GNU General Public License
  16. %along with GNU CC; see the file COPYING.  If not, write to
  17. %the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
  18.  
  19.  
  20. %In other words, you are welcome to use, share and improve this program.
  21. %You are forbidden to forbid anyone else to use, share and improve
  22. %what you give them.   Help stamp out software-hoarding!
  23.  
  24. \def\texinfoversion{1.23}
  25. \message{Loading texinfo package [Version \texinfoversion]:}
  26. \message{}
  27.  
  28. % Save some parts of plain tex whose names we will redefine.
  29.  
  30. \let\ptexlbrace=\{
  31. \let\ptexrbrace=\}
  32. \let\ptexdot=\.
  33. \let\ptexstar=\*
  34. \let\ptexend=\end
  35. \let\ptexbullet=\bullet
  36. \let\ptexb=\b
  37. \let\ptexc=\c
  38. \let\ptexi=\i
  39. \let\ptext=\t
  40. \let\ptexl=\l
  41. \let\ptexL=\L
  42.  
  43. \def\tie{\penalty 10000\ }     % Save plain tex definition of ~.
  44.  
  45. \message{Basics,}
  46. \chardef\other=12
  47.  
  48. \hyphenation{ap-pen-dix}
  49. \hyphenation{mini-buf-fer mini-buf-fers}
  50. \hyphenation{eshell}
  51.  
  52. % Margin to add to right of even pages, to left of odd pages.
  53. \newdimen \bindingoffset  \bindingoffset=0pt
  54. \newdimen \normaloffset   \normaloffset=\hoffset
  55. \newdimen\pagewidth \newdimen\pageheight
  56. \pagewidth=\hsize \pageheight=\vsize
  57.  
  58. %---------------------Begin change-----------------------
  59. %
  60. % Dimensions to add cropmarks at corners Added by P. A. MacKay, 12 Nov. 1986
  61. %
  62. \newdimen\cornerlong \newdimen\cornerthick
  63. \newdimen \topandbottommargin
  64. \newdimen \outerhsize \newdimen \outervsize
  65. \cornerlong=1pc\cornerthick=.3pt    % These set size of cropmarks
  66. \outerhsize=7in
  67. \outervsize=9.5in
  68. \topandbottommargin=.75in
  69. %
  70. %---------------------End change-----------------------
  71.  
  72. % \onepageout takes a vbox as an argument.  Note that \pagecontents
  73. % does insertions itself, but you have to call it yourself.
  74. \chardef\PAGE=255  \output={\onepageout{\pagecontents\PAGE}}
  75. \def\onepageout#1{\hoffset=\normaloffset
  76. \ifodd\pageno  \advance\hoffset by \bindingoffset
  77. \else \advance\hoffset by -\bindingoffset\fi
  78. \shipout\vbox{{\let\hsize=\pagewidth \makeheadline} \pagebody{#1}%
  79.  {\let\hsize=\pagewidth \makefootline}}
  80. \advancepageno \ifnum\outputpenalty>-20000 \else\dosupereject\fi}
  81.  
  82.  
  83. % Here is a modification of the main output routine for Near East Publications
  84. % This provides right-angle cropmarks at all four corners.
  85. % The contents of the page are centerlined into the cropmarks,
  86. % and any desired binding offset is added as an \hskip on either
  87. % site of the centerlined box.  (P. A. MacKay, 12 November, 1986)
  88. %
  89. \def\croppageout#1{\hoffset=0pt % make sure this doesn't mess things up
  90.          \shipout
  91.          \vbox to \outervsize{\hsize=\outerhsize
  92.                  \vbox{\line{\ewtop\hfill\ewtop}}
  93.                  \nointerlineskip
  94.                  \line{\vbox{\moveleft\cornerthick\nstop}
  95.                        \hfill
  96.                        \vbox{\moveright\cornerthick\nstop}}
  97.                  \vskip \topandbottommargin
  98.                  \centerline{\ifodd\pageno\hskip\bindingoffset\fi
  99.             \vbox{
  100.             {\let\hsize=\pagewidth \makeheadline}
  101.             \pagebody{#1}
  102.             {\let\hsize=\pagewidth \makefootline}}
  103.             \ifodd\pageno\else\hskip\bindingoffset\fi}
  104.          \vskip \topandbottommargin plus1fill minus1fill
  105.                  \boxmaxdepth\cornerthick
  106.                  \line{\vbox{\moveleft\cornerthick\nsbot}
  107.                        \hfill
  108.                        \vbox{\moveright\cornerthick\nsbot}}
  109.                  \nointerlineskip
  110.                  \vbox{\line{\ewbot\hfill\ewbot}}
  111.     }
  112.   \advancepageno 
  113.   \ifnum\outputpenalty>-20000 \else\dosupereject\fi}
  114. %
  115. % Do @cropmarks to get crop marks
  116. \def\cropmarks{\let\onepageout=\croppageout }
  117.  
  118. \def\pagebody#1{\vbox to\pageheight{\boxmaxdepth=\maxdepth #1}}
  119. {\catcode`\@ =11
  120. \gdef\pagecontents#1{\ifvoid\topins\else\unvbox\topins\fi
  121. \dimen@=\dp#1 \unvbox#1
  122. \ifvoid\footins\else\vskip\skip\footins\footnoterule \unvbox\footins\fi
  123. \ifr@ggedbottom \kern-\dimen@ \vfil \fi}
  124. }
  125.  
  126. %
  127. % Here are the rules for the cropmarks.  Note that they are
  128. % offset so that the space between them is truly \outerhsize or \outervsize
  129. % (P. A. MacKay, 12 November, 1986)
  130. %
  131. \def\ewtop{\vrule height\cornerthick depth0pt width\cornerlong}
  132. \def\nstop{\vbox
  133.   {\hrule height\cornerthick depth\cornerlong width\cornerthick}}
  134. \def\ewbot{\vrule height0pt depth\cornerthick width\cornerlong}
  135. \def\nsbot{\vbox
  136.   {\hrule height\cornerlong depth\cornerthick width\cornerthick}}
  137.  
  138. % Parse an argument, then pass it to #1.
  139. % The argument can be delimited with [...] or with "..." or braces
  140. % or it can be a whole line.
  141. % #1 should be a macro which expects
  142. % an ordinary undelimited TeX argument.
  143.  
  144. \def\parsearg #1{\let\next=#1\begingroup\obeylines\futurelet\temp\parseargx}
  145.  
  146. \def\parseargx{%
  147. \ifx \obeyedspace\temp \aftergroup\parseargdiscardspace \else%
  148. \aftergroup \parseargline %
  149. \fi \endgroup}
  150.  
  151. {\obeyspaces %
  152. \gdef\parseargdiscardspace {\begingroup\obeylines\futurelet\temp\parseargx}}
  153.  
  154. \gdef\obeyedspace{\ }
  155.  
  156. \def\parseargline{\begingroup \obeylines \parsearglinex}
  157. {\obeylines %
  158. \gdef\parsearglinex #1^^M{\endgroup \next {#1}}}
  159.  
  160. \def\flushcr{\ifx\par\lisppar \def\next##1{}\else \let\next=\relax \fi \next}
  161.  
  162. %% These are used to keep @begin/@end levels from running away
  163. %% Call \inENV within environments (after a \begingroup)
  164. \newif\ifENV \ENVfalse \def\inENV{\ifENV\relax\else\ENVtrue\fi}
  165. \def\ENVcheck{%
  166. \ifENV\errmessage{Still within an environment.  Type Return to continue.}
  167. \endgroup\fi} % This is not perfect, but it should reduce lossage
  168.  
  169. % @begin foo  is the same as @foo, for now.
  170. \newhelp\EMsimple{Type <Return> to continue}
  171.  
  172. \outer\def\begin{\parsearg\beginxxx}
  173.  
  174. \def\beginxxx #1{%
  175. \expandafter\ifx\csname #1\endcsname\relax
  176. {\errhelp=\EMsimple \errmessage{Undefined command @begin #1}}\else
  177. \csname #1\endcsname\fi}
  178.  
  179. %% @end foo executes the definition of \Efoo.
  180. %% foo can be delimited by doublequotes or brackets.
  181.  
  182. \def\end{\parsearg\endxxx}
  183.  
  184. \def\endxxx #1{%
  185. \expandafter\ifx\csname E#1\endcsname\relax
  186. \expandafter\ifx\csname #1\endcsname\relax
  187. \errmessage{Undefined command @end #1}\else
  188. \errorE{#1}\fi\fi
  189. \csname E#1\endcsname}
  190. \def\errorE#1{
  191. {\errhelp=\EMsimple \errmessage{@end #1 not within #1 environment}}}
  192.  
  193. % Single-spacing is done by various environments.
  194.  
  195. \newskip\singlespaceskip \singlespaceskip = \baselineskip
  196. \def\singlespace{%
  197. {\advance \baselineskip by -\singlespaceskip
  198. \kern \baselineskip}%
  199. \baselineskip=\singlespaceskip
  200. }
  201.  
  202. %% Simple single-character @ commands
  203.  
  204. % @@ prints an @
  205. % Kludge this until the fonts are right (grr).
  206. \def\@{{\sf \char '100}}
  207.  
  208. % Define @` and @' to be the same as ` and '
  209. % but suppressing ligatures.
  210. \def\`{{`}}
  211. \def\'{{'}}
  212.  
  213. % Used to generate quoted braces.
  214.  
  215. \def\mylbrace {{\tt \char '173}}
  216. \def\myrbrace {{\tt \char '175}}
  217. \let\{=\mylbrace
  218. \let\}=\myrbrace
  219.  
  220. % @: forces normal size whitespace following.
  221. \def\:{\spacefactor=1000 }
  222.  
  223. % @* forces a line break.
  224. \def\*{\hfil\break}
  225.  
  226. % @. is an end-of-sentence period.
  227. \def\.{.\spacefactor=3000 }
  228.  
  229. % @w prevents a word break
  230. \def\w #1{\hbox{#1}}
  231.  
  232. % @group ... @end group  forces ... to be all on one page.
  233.  
  234. \def\group{\begingroup% \inENV ???
  235. \def \Egroup{\egroup\endgroup}
  236. \vbox\bgroup}
  237.  
  238. % @br   forces paragraph break
  239.  
  240. \let\br = \par
  241.  
  242. % @dots{}  output some dots
  243.  
  244. \def\dots{$\ldots$}
  245.  
  246. % @page    forces the start of a new page
  247.  
  248. \def\page{\par\vfill\supereject}
  249.  
  250. % @exdent text....
  251. % outputs text on separate line in roman font, starting at standard page margin
  252.  
  253. \def\exdent{\errmessage{@exdent in filled text}}
  254.   % @lisp, etc, define \exdent locally from \internalexdent
  255.  
  256. {\obeyspaces
  257. \gdef\internalexdent{\parsearg\exdentzzz}}
  258.  
  259. \def\exdentzzz #1{{\advance \leftskip by -\lispnarrowing
  260. \advance \hsize by -\leftskip
  261. \advance \hsize by -\rightskip
  262. \leftline{{\rm#1}}}}
  263.  
  264. % @include file    insert text of that file as input.
  265.  
  266. \def\include{\parsearg\includezzz}
  267. \def\includezzz #1{{\def\thisfile{#1}\input #1
  268. }}
  269.  
  270. \def\thisfile{}
  271.  
  272. % @center line   outputs that line, centered
  273.  
  274. \def\center{\parsearg\centerzzz}
  275. \def\centerzzz #1{{\advance\hsize by -\leftskip
  276. \advance\hsize by -\rightskip
  277. \centerline{#1}}}
  278.  
  279. % @sp n   outputs n lines of vertical space
  280.  
  281. \def\sp{\parsearg\spxxx}
  282. \def\spxxx #1{\par \vskip #1\baselineskip}
  283.  
  284. % @comment ...line which is ignored...
  285. % @c is the same as @comment
  286. % @ignore ... @end ignore  is another way to write a comment
  287.  
  288. \def\comment{\parsearg \commentxxx}
  289.  
  290. \def\commentxxx #1{}
  291.  
  292. \let\c=\comment
  293.  
  294. \long\def\ignore #1\end ignore{}
  295.  
  296. \outer\def\ifset{\parsearg\ifsetxxx}
  297.  
  298. \def\ifsetxxx #1#2\end ifset{%
  299. \expandafter\ifx\csname IF#1\endcsname\relax \else #2\fi}
  300.  
  301. \outer\def\ifclear{\parsearg\ifclearxxx}
  302.  
  303. \def\ifclearxxx #1#2\end ifclear{%
  304. \expandafter\ifx\csname IF#1\endcsname\relax #2\fi}
  305.  
  306. % Some texinfo constructs that are trivial in tex
  307.  
  308. \def\iftex{}
  309. \def\Eiftex{}
  310. \long\def\ifinfo #1\end ifinfo{}
  311. \long\def\menu #1\end menu{}
  312. \def\asis#1{#1}
  313.  
  314. \def\node{\parsearg\nodezzz}
  315. \def\nodezzz#1{\nodexxx [#1,]}
  316. \def\nodexxx[#1,#2]{\gdef\lastnode{#1}}
  317. \let\lastnode=\relax
  318.  
  319. \def\donoderef{\ifx\lastnode\relax\else
  320. \expandafter\expandafter\expandafter\setref{\lastnode}\fi
  321. \let\lastnode=\relax}
  322.  
  323. \def\unnumbnoderef{\ifx\lastnode\relax\else
  324. \expandafter\expandafter\expandafter\unnumbsetref{\lastnode}\fi
  325. \let\lastnode=\relax}
  326.  
  327. \let\refill=\relax
  328.  
  329. \let\setfilename=\comment
  330.  
  331. \def\inforef #1{\inforefzzz #1,,,,**}
  332. \def\inforefzzz #1,#2,#3,#4**{See Info file \file{\losespace#3{}}, node `\losespace#1{}'}
  333. \def\losespace #1{#1}
  334.  
  335. \message{fonts,}
  336.  
  337. % Font-change commands.
  338.  
  339. %% Try out Computer Modern fonts at \magstephalf
  340. \font\tenrm=cmr10 scaled \magstephalf
  341. \font\tentt=cmtt10 scaled \magstephalf
  342. % Instead of cmb10, you many want to use cmbx10.
  343. % cmbx10 is a prettier font on its own, but cmb10
  344. % looks better when embedded in a line with cmr10.
  345. \font\tenbf=cmb10 scaled \magstephalf 
  346. \font\tenit=cmti10 scaled \magstephalf
  347. \font\tensl=cmsl10 scaled \magstephalf
  348. \font\tensf=cmss10 scaled \magstephalf
  349. \def\li{\sf}
  350. \font\tensc=cmcsc10 scaled \magstephalf
  351.  
  352. % Fonts for @defun, etc.
  353. \font\defbf=cmbx10 scaled \magstep1 %was 1314
  354. \let\deftt=\tentt
  355. \def\df{\let\tt=\deftt \defbf}
  356.  
  357. % Font for title
  358. \font\titlerm = cmbx10 scaled \magstep5
  359.  
  360. % Fonts for indices
  361. \font\indit=cmti9 \font\indrm=cmr9
  362. \def\indbf{\indrm} \def\indsl{\indit}
  363. \def\indexfonts{\let\it=\indit \let\sl=\indsl \let\bf=\indbf \let\rm=\indrm}
  364.  
  365. % Fonts for headings
  366. \font\chaprm=cmbx10 scaled \magstep3
  367. \font\chapit=cmti10 scaled \magstep3
  368. \font\chapsl=cmsl10 scaled \magstep3
  369. \font\chaptt=cmtt10 scaled \magstep3
  370. \font\chapsf=cmss10 scaled \magstep3
  371. \let\chapbf=\chaprm
  372.  
  373. \font\secrm=cmbx10 scaled \magstep2
  374. \font\secit=cmti10 scaled \magstep2
  375. \font\secsl=cmsl10 scaled \magstep2
  376. \font\sectt=cmtt10 scaled \magstep2
  377. \font\secsf=cmss10 scaled \magstep2
  378. \let\secbf=\secrm
  379.  
  380. % \font\ssecrm=cmbx10 scaled \magstep1    % This size an fontlooked bad.
  381. % \font\ssecit=cmti10 scaled \magstep1    % The letters were too crowded.
  382. % \font\ssecsl=cmsl10 scaled \magstep1
  383. % \font\ssectt=cmtt10 scaled \magstep1
  384. % \font\ssecsf=cmss10 scaled \magstep1
  385.  
  386. \font\ssecrm=cmb10 at 13pt    % Note the use of cmb rather than cmbx.
  387. \font\ssecit=cmti10 at 13pt    % Also, the size is a little larger than
  388. \font\ssecsl=cmsl10 at 13pt    % being scaled magstep1.
  389. \font\ssectt=cmtt10 at 13pt
  390. \font\ssecsf=cmss10 at 13pt
  391.  
  392. \let\ssecbf=\ssecrm
  393.  
  394. \def\textfonts{\let\rm=\tenrm\let\it=\tenit\let\sl=\tensl\let\bf=\tenbf%
  395. \let\smallcaps=\tensc\let\sf=\tensf}
  396. \def\chapfonts{\let\rm=\chaprm\let\it=\chapit\let\sl=\chapsl\let\bf=\chapbf\let\tt=\chaptt\let\sf=\chapsf}
  397. \def\secfonts{\let\rm=\secrm\let\it=\secit\let\sl=\secsl\let\bf=\secbf\let\tt=\sectt\let\sf=\secsf}
  398. \def\subsecfonts{\let\rm=\ssecrm\let\it=\ssecit\let\sl=\ssecsl\let\bf=\ssecbf\let\tt=\ssectt\let\sf=\ssecsf}
  399. % Count depth in font-changes, for error checks
  400. \newcount\fontdepth \fontdepth=0
  401.  
  402. %% Add scribe-like font environments, plus @l for inline lisp (usually sans
  403. %% serif) and @ii for TeX italic
  404.  
  405. \def\i#1{{\sl #1}}
  406. \let\var=\i
  407. \let\dfn=\i
  408. \let\emph=\i
  409. \let\cite=\i
  410.  
  411. \def\b#1{{\bf #1}}
  412. \let\strong=\b
  413.  
  414. \def\t#1{{\tt \rawbackslash \frenchspacing #1}\null}
  415. \let\ttfont = \t
  416. \let\kbd=\t
  417. \let\code=\t
  418. \def\samp #1{`{\tt \rawbackslash \frenchspacing #1}'\null}
  419. \def\key #1{{\tt \uppercase{#1}}\null}
  420. \def\ctrl #1{{\tt \rawbackslash \hat}#1}
  421.  
  422. \let\file=\samp
  423.  
  424. \def\l#1{{\li #1}\null}        % 
  425.  
  426. \def\r#1{{\rm #1}}        % roman font
  427. \def\sc#1{{\\smallcaps #1}}    % smallcaps font
  428. \def\ii#1{{\it #1}}        % italic font
  429.  
  430. \def\titlefont#1{{\titlerm #1}}
  431.  
  432. \def\titlepage{\begingroup \parindent=0pt \hbox{}%
  433. \let\oldpage=\page
  434. \def\page{\oldpage \hbox{}}}
  435.  
  436. \def\Etitlepage{\endgroup\page\HEADINGSon}
  437.  
  438. % Make altmode in file print out right
  439.  
  440. \catcode `\^^[=\active \def^^[{$\diamondsuit$}
  441.  
  442. \message{page headings,}
  443.  
  444. %%% Set up page headings and footings.
  445.  
  446. \let\thispage=\folio
  447.  
  448. \newtoks \evenheadline    % Token sequence for heading line of even pages
  449. \newtoks \oddheadline     % Token sequence for heading line of odd pages
  450. \newtoks \evenfootline    % Token sequence for footing line of even pages
  451. \newtoks \oddfootline     % Token sequence for footing line of odd pages
  452.  
  453. % Now make Tex use those variables
  454. \headline={{\textfonts\rm \ifodd\pageno \the\oddheadline \else \the\evenheadline \fi}}
  455. \footline={{\textfonts\rm \ifodd\pageno \the\oddfootline \else \the\evenfootline \fi}}
  456.  
  457. % Commands to set those variables.
  458. % For example, this is what  @headings on  does
  459. % @evenheading @thistitle|@thispage|@thischapter
  460. % @oddheading @thischapter|@thispage|@thistitle
  461. % @evenfooting @thisfile||
  462. % @oddfooting ||@thisfile
  463.  
  464. \def\evenheading{\parsearg\evenheadingxxx}
  465. \def\oddheading{\parsearg\oddheadingxxx}
  466. \def\everyheading{\parsearg\everyheadingxxx}
  467.  
  468. \def\evenfooting{\parsearg\evenfootingxxx}
  469. \def\oddfooting{\parsearg\oddfootingxxx}
  470. \def\everyfooting{\parsearg\everyfootingxxx}
  471.  
  472. {\catcode`\@=0 %
  473.  
  474. \gdef\evenheadingxxx #1{\evenheadingyyy #1@|@|@|@|\finish}
  475. \gdef\evenheadingyyy #1@|#2@|#3@|#4\finish{%
  476. \global\evenheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  477.  
  478. \gdef\oddheadingxxx #1{\oddheadingyyy #1@|@|@|@|\finish}
  479. \gdef\oddheadingyyy #1@|#2@|#3@|#4\finish{%
  480. \global\oddheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  481.  
  482. \gdef\everyheadingxxx #1{\everyheadingyyy #1@|@|@|@|\finish}
  483. \gdef\everyheadingyyy #1@|#2@|#3@|#4\finish{%
  484. \global\evenheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}
  485. \global\oddheadline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  486.  
  487. \gdef\evenfootingxxx #1{\evenfootingyyy #1@|@|@|@|\finish}
  488. \gdef\evenfootingyyy #1@|#2@|#3@|#4\finish{%
  489. \global\evenfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  490.  
  491. \gdef\oddfootingxxx #1{\oddfootingyyy #1@|@|@|@|\finish}
  492. \gdef\oddfootingyyy #1@|#2@|#3@|#4\finish{%
  493. \global\oddfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  494.  
  495. \gdef\everyfootingxxx #1{\everyfootingyyy #1@|@|@|@|\finish}
  496. \gdef\everyfootingyyy #1@|#2@|#3@|#4\finish{%
  497. \global\evenfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}
  498. \global\oddfootline={\rlap{\centerline{#2}}\line{#1\hfil#3}}}
  499. %
  500. }% unbind the catcode of @.
  501.  
  502. % @headings double    turns headings on for double-sided printing.
  503. % @headings single    turns headings on for single-sided printing.
  504. % @headings off        turns them off.
  505. % @headings on        same as @headings double, retained for compatibility.
  506. % By default, they are off.
  507.  
  508. \def\headings #1 {\csname HEADINGS#1\endcsname}
  509.  
  510. \def\HEADINGSoff{
  511. \global\evenheadline={\hfil} \global\evenfootline={\hfil}
  512. \global\oddheadline={\hfil} \global\oddfootline={\hfil}}
  513. \HEADINGSoff
  514. % When we turn headings on, set the page number to 1.
  515. % For double-sided printing, put current file name in lower left corner,
  516. % chapter name on inside top of right hand pages, document
  517. % title on inside top of left hand pages, and page numbers on outside top
  518. % edge of all pages.
  519. \def\HEADINGSdouble{
  520. \pagealignmacro
  521. \global\pageno=1
  522. \global\evenfootline={\hfil}
  523. \global\oddfootline={\hfil}
  524. \global\evenheadline={\line{\folio\hfil\thistitle}}
  525. \global\oddheadline={\line{\thischapter\hfil\folio}}
  526. }
  527. % For single-sided printing, chapter title goes across top left of page,
  528. % page number on top right.
  529. \def\HEADINGSsingle{
  530. \pagealignmacro
  531. \global\pageno=1
  532. \global\evenfootline={\hfil}
  533. \global\oddfootline={\hfil}
  534. \global\evenheadline={\line{\thischapter\hfil\folio}}
  535. \global\oddheadline={\line{\thischapter\hfil\folio}}
  536. }
  537. \def\HEADINGSon{\HEADINGSdouble}
  538.  
  539. % Subroutines used in generating headings
  540. % Produces Day Month Year style of output.
  541. \def\today{\number\day\space
  542. \ifcase\month\or
  543. January\or February\or March\or April\or May\or June\or
  544. July\or August\or September\or October\or November\or December\fi
  545. \space\number\year}
  546.  
  547. % Use this if you want the Month Day, Year style of output.
  548. %\def\today{\ifcase\month\or
  549. %January\or February\or March\or April\or May\or June\or
  550. %July\or August\or September\or October\or November\or December\fi
  551. %\space\number\day, \number\year}
  552.  
  553. % @settitle line...  specifies the title of the document, for headings
  554. % It generates no output of its own
  555.  
  556. \def\thistitle{No Title}
  557. \def\settitle{\parsearg\settitlezzz}
  558. \def\settitlezzz #1{\gdef\thistitle{#1}}
  559.  
  560. \message{tables,}
  561.  
  562. % Tables -- @table, @ftable, @item(x), @kitem(x), @xitem(x).
  563.  
  564. % default indentation of table text
  565. \newdimen\tableindent \tableindent=.8in
  566. % default indentation of @itemize and @enumerate text
  567. \newdimen\itemindent  \itemindent=.3in
  568. % margin between end of table item and start of table text.
  569. \newdimen\itemmargin  \itemmargin=.1in
  570.  
  571. % used internally for \itemindent minus \itemmargin
  572. \newdimen\itemmax
  573.  
  574. % Note @table and @ftable define @item, @itemx, etc., with these defs.
  575. % They also define \itemindex
  576. % to index the item name in whatever manner is desired (perhaps none).
  577.  
  578. \def\internalBitem{\smallbreak \parsearg\itemzzz}
  579. \def\internalBitemx{\par \parsearg\itemzzz}
  580.  
  581. \def\internalBxitem "#1"{\def\xitemsubtopix{#1} \smallbreak \parsearg\xitemzzz}
  582. \def\internalBxitemx "#1"{\def\xitemsubtopix{#1} \par \parsearg\xitemzzz}
  583.  
  584. \def\internalBkitem{\smallbreak \parsearg\kitemzzz}
  585. \def\internalBkitemx{\par \parsearg\kitemzzz}
  586.  
  587. \def\kitemzzz #1{\dosubind {kw}{\code{#1}}{for {\bf \lastfunction}}\itemzzz {#1}}
  588.  
  589. \def\xitemzzz #1{\dosubind {kw}{\code{#1}}{for {\bf \xitemsubtopic}}\itemzzz {#1}}
  590.  
  591. \def\itemzzz #1{\begingroup %
  592. \advance \hsize by -\rightskip %
  593. \advance \hsize by -\leftskip %
  594. \setbox0=\hbox{\itemfont{#1}}%
  595. \itemindex{#1}%
  596. \parskip=0in %
  597. \noindent %
  598. \ifdim \wd0>\itemmax %
  599. \vadjust{\penalty 10000}%
  600. \hbox to \hsize{\hskip -\tableindent\box0\hss}\ %
  601. \else %
  602. \hbox to 0pt{\hskip -\tableindent\box0\hss}%
  603. \fi %
  604. \endgroup %
  605. }
  606.  
  607. \def\item{\errmessage{@item while not in a table}}
  608. \def\itemx{\errmessage{@itemx while not in a table}}
  609. \def\kitem{\errmessage{@kitem while not in a table}}
  610. \def\kitemx{\errmessage{@kitemx while not in a table}}
  611. \def\xitem{\errmessage{@xitem while not in a table}}
  612. \def\xitemx{\errmessage{@xitemx while not in a table}}
  613.  
  614. %% Contains a kludge to get @end[description] to work
  615. \def\description{\tablez{\dontindex}{1}{}{}{}{}}
  616.  
  617. \def\table{\begingroup\inENV\obeylines\obeyspaces\tablex}
  618. {\obeylines\obeyspaces%
  619. \gdef\tablex #1^^M{%
  620. \tabley\dontindex#1        \endtabley}}
  621.  
  622. \def\ftable{\begingroup\inENV\obeylines\obeyspaces\ftablex}
  623. {\obeylines\obeyspaces%
  624. \gdef\ftablex #1^^M{%
  625. \tabley\fnitemindex#1        \endtabley}}
  626.  
  627. \def\dontindex #1{}
  628. \def\fnitemindex #1{\doind {fn}{\code{#1}}}%
  629.  
  630. {\obeyspaces %
  631. \gdef\tabley#1#2 #3 #4 #5 #6 #7\endtabley{\endgroup%
  632. \tablez{#1}{#2}{#3}{#4}{#5}{#6}}}
  633.  
  634. \def\tablez #1#2#3#4#5#6{%
  635. \aboveenvbreak %
  636. \begingroup %
  637. \def\Edescription{\Etable}% Neccessary kludge.
  638. \let\itemindex=#1%
  639. \ifnum 0#3>0 \advance \leftskip by #3\mil \fi %
  640. \ifnum 0#4>0 \tableindent=#4\mil \fi %
  641. \ifnum 0#5>0 \advance \rightskip by #5\mil \fi %
  642. \def\itemfont{#2}%
  643. \itemmax=\tableindent %
  644. \advance \itemmax by -\itemmargin %
  645. \advance \leftskip by \tableindent %
  646. \parindent = 0pt
  647. \parskip = \smallskipamount
  648. \ifdim \parskip=0pt \parskip=2pt \fi%
  649. \def\Etable{\endgraf\endgroup\afterenvbreak}%
  650. \let\item = \internalBitem %
  651. \let\itemx = \internalBitemx %
  652. \let\kitem = \internalBkitem %
  653. \let\kitemx = \internalBkitemx %
  654. \let\xitem = \internalBxitem %
  655. \let\xitemx = \internalBxitemx %
  656. }
  657.  
  658. % This is the counter used by @enumerate, which is really @itemize
  659.  
  660. \newcount \itemno
  661.  
  662. \def\itemize{\parsearg\itemizezzz}
  663.  
  664. \def\itemizezzz #1{\itemizey {#1}{\Eitemize}}
  665.  
  666. \def\itemizey #1#2{%
  667. \aboveenvbreak %
  668. \begingroup %
  669. \itemno = 0 %
  670. \itemmax=\itemindent %
  671. \advance \itemmax by -\itemmargin %
  672. \advance \leftskip by \itemindent %
  673. \parindent = 0pt
  674. \parskip = \smallskipamount
  675. \ifdim \parskip=0pt \parskip=2pt \fi%
  676. \def#2{\endgraf\endgroup\afterenvbreak}%
  677. \def\itemcontents{#1}%
  678. \let\item=\itemizeitem}
  679.  
  680. \def\bullet{$\ptexbullet$}
  681. \def\minus{$-$}
  682.  
  683. \def\enumerate{\itemizey{\the\itemno.}\Eenumerate\flushcr}
  684.  
  685. % Definition of @item while inside @itemize.
  686.  
  687. \def\itemizeitem{%
  688. \advance\itemno by 1
  689. {\let\par=\endgraf \smallbreak}%
  690. \ifhmode \errmessage{\in hmode at itemizeitem}\fi
  691. {\parskip=0in \hskip 0pt
  692. \hbox to 0pt{\hss \itemcontents\hskip \itemmargin}%
  693. \vadjust{\penalty 300}}%
  694. \flushcr}
  695.  
  696. \message{indexing,}
  697. % Index generation facilities
  698.  
  699. % Define \newwrite to be identical to plain tex's \newwrite
  700. % except not \outer, so it can be used within \newindex.
  701. {\catcode`\@=11
  702. \gdef\newwrite{\alloc@7\write\chardef\sixt@@n}}
  703.  
  704. % \newindex {foo} defines an index named foo.
  705. % It automatically defines \fooindex such that
  706. % \fooindex ...rest of line... puts an entry in the index foo.
  707. % It also defines \fooindfile to be the number of the output channel for
  708. % the file that    accumulates this index.  The file's extension is foo.
  709. % The name of an index should be no more than 2 characters long
  710. % for the sake of vms.
  711.  
  712. \def\newindex #1{
  713. \expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
  714. \openout \csname#1indfile\endcsname \jobname.#1    % Open the file
  715. \expandafter\xdef\csname#1index\endcsname{%    % Define \xxxindex
  716. \noexpand\doindex {#1}}
  717. }
  718.  
  719. % @defindex foo  ==  \newindex{foo}
  720.  
  721. \def\defindex{\parsearg\newindex}
  722.  
  723. % Define @defcodeindex, like @defindex except put all entries in @code.
  724.  
  725. \def\newcodeindex #1{
  726. \expandafter\newwrite \csname#1indfile\endcsname% Define number for output file
  727. \openout \csname#1indfile\endcsname \jobname.#1    % Open the file
  728. \expandafter\xdef\csname#1index\endcsname{%    % Define \xxxindex
  729. \noexpand\docodeindex {#1}}
  730. }
  731.  
  732. \def\defcodeindex{\parsearg\newcodeindex}
  733.  
  734. % @synindex foo bar    makes index foo feed into index bar.
  735. % Do this instead of @defindex foo if you don't want it as a separate index.
  736. \def\synindex #1 #2 {%
  737. \expandafter\xdef\csname#1index\endcsname{%    % Define \xxxindex
  738. \noexpand\doindex {#2}}%
  739. }
  740.  
  741. % @syncodeindex foo bar   similar, but put all entries made for index foo
  742. % inside @code.
  743. \def\syncodeindex #1 #2 {%
  744. \expandafter\xdef\csname#1index\endcsname{%    % Define \xxxindex
  745. \noexpand\docodeindex {#2}}%
  746. }
  747.  
  748. % Define \doindex, the driver for all \fooindex macros.
  749. % Argument #1 is generated by the calling \fooindex macro,
  750. %  and it is "foo", the name of the index.
  751.  
  752. % \doindex just uses \parsearg; it calls \doind for the actual work.
  753. % This is because \doind is more useful to call from other macros.
  754.  
  755. % There is also \dosubind {index}{topic}{subtopic}
  756. % which makes an entry in a two-level index such as the operation index.
  757.  
  758. \def\doindex#1{\edef\indexname{#1}\parsearg\singleindexer}
  759. \def\singleindexer #1{\doind{\indexname}{#1}}
  760.  
  761. % like the previous two, but they put @code around the argument.
  762. \def\docodeindex#1{\edef\indexname{#1}\parsearg\singlecodeindexer}
  763. \def\singlecodeindexer #1{\doind{\indexname}{\code{#1}}}
  764.  
  765. \def\indexdummies{%
  766. \def\bf{\realbackslash bf }%
  767. \def\rm{\realbackslash rm }%
  768. \def\sl{\realbackslash sl }%
  769. \def\dots{\realbackslash dots }%
  770. \def\copyright{\realbackslash copyright }%
  771. }
  772.  
  773. % \indexnofonts no-ops all font-change commands.
  774. % This is used when outputting the strings to sort the index by.
  775. \def\indexdummyfont#1{#1}
  776. \def\indexnofonts{%
  777. \let\code=\indexdummyfont
  778. \let\samp=\indexdummyfont
  779. \let\kbd=\indexdummyfont
  780. \let\key=\indexdummyfont
  781. \let\var=\indexdummyfont
  782. }
  783.  
  784. % To define \realbackslash, we must make \ not be an escape.
  785. % We must first make another character (@) an escape
  786. % so we do not become unable to do a definition.
  787.  
  788. {\catcode`\@=0 \catcode`\\=\other
  789. @gdef@realbackslash{\}}
  790.  
  791. \let\indexbackslash=0  %overridden during \printindex.
  792.  
  793. \def\doind #1#2{%
  794. {\indexdummies % Must do this here, since \bf, etc expand at this stage
  795. \count10=\lastpenalty %
  796. \escapechar=`\\%
  797. {\let\folio=0% Expand all macros now EXCEPT \folio
  798. \def\rawbackslashxx{\indexbackslash}% \indexbackslash isn't defined now
  799. % so it will be output as is; and it will print as backslash in the indx.
  800. %
  801. % Now process the index-string once, with all font commands turned off,
  802. % to get the string to sort the index by.
  803. {\indexnofonts
  804. \xdef\temp1{#2}%
  805. }%
  806. % Now produce the complete index entry.  We process the index-string again,
  807. % this time with font commands expanded, to get what to print in the index.
  808. \edef\temp{%
  809. \write \csname#1indfile\endcsname{%
  810. \realbackslash entry {\temp1}{\folio}{#2}}}%
  811. \temp }%
  812. \penalty\count10}}
  813.  
  814. \def\dosubind #1#2#3{%
  815. {\indexdummies % Must do this here, since \bf, etc expand at this stage
  816. \count10=\lastpenalty %
  817. \escapechar=`\\%
  818. {\let\folio=0%
  819. \def\rawbackslashxx{\indexbackslash}%
  820. %
  821. % Now process the index-string once, with all font commands turned off,
  822. % to get the string to sort the index by.
  823. {\indexnofonts
  824. \xdef\temp1{#2 #3}%
  825. }%
  826. % Now produce the complete index entry.  We process the index-string again,
  827. % this time with font commands expanded, to get what to print in the index.
  828. \edef\temp{%
  829. \write \csname#1indfile\endcsname{%
  830. \realbackslash entry {\temp1}{\folio}{#2}{#3}}}%
  831. \temp }%
  832. \penalty\count10}}
  833.  
  834. % The index entry written in the file actually looks like
  835. %  \entry {sortstring}{page}{topic}
  836. % or
  837. %  \entry {sortstring}{page}{topic}{subtopic}
  838. % The texindex program reads in these files and writes files
  839. % containing these kinds of lines:
  840. %  \initial {c}
  841. %     before the first topic whose initial is c
  842. %  \entry {topic}{pagelist}
  843. %     for a topic that is used without subtopics
  844. %  \primary {topic}
  845. %     for the beginning of a topic that is used with subtopics
  846. %  \secondary {subtopic}{pagelist}
  847. %     for each subtopic.
  848.  
  849. % Define the user-accessible indexing commands 
  850. % @findex, @vindex, @kindex, @cindex.
  851.  
  852. \def\findex {\fnindex}
  853. \def\kindex {\kyindex}
  854. \def\cindex {\cpindex}
  855. \def\vindex {\vrindex}
  856. \def\tindex {\tpindex}
  857. \def\pindex {\pgindex}
  858.  
  859. \def\cindexsub {\begingroup\obeylines\cindexsub}
  860. {\obeylines %
  861. \gdef\cindexsub "#1" #2^^M{\endgroup %
  862. \dosubind{cp}{#2}{#1}}}
  863.  
  864. % Define the macros used in formatting output of the sorted index material.
  865.  
  866. % This is what you call to cause a particular index to get printed.
  867. % Write
  868. % @unnumbered Function Index
  869. % @printindex fn
  870.  
  871. \def\printindex{\parsearg\doprintindex}
  872.  
  873. \def\doprintindex#1{\tex %
  874. \catcode`\%=\other\catcode`\&=\other\catcode`\#=\other
  875. \catcode`\$=\other\catcode`\_=\other
  876. \catcode`\~=\other
  877. \def\indexbackslash{\rawbackslashxx}
  878. \indexfonts\rm \tolerance=9500 \advance\baselineskip -1pt
  879. \begindoublecolumns
  880. \openin 1 \jobname.#1s
  881. \ifeof 1 \else \closein 1 \input \jobname.#1s
  882. \fi
  883. \enddoublecolumns
  884. \Etex}
  885.  
  886. % These macros are used by the sorted index file itself.
  887. % Change them to control the appearance of the index.
  888.  
  889. % Same as \bigskipamount except no shrink.
  890. % \balancecolumns gets confused if there is any shrink.
  891. \newskip\initialskipamount \initialskipamount 12pt plus4pt
  892.  
  893. \outer\def\initial #1{%
  894. {\let\tentt=\sectt \let\sf=\sectt
  895. \ifdim\lastskip<\initialskipamount
  896. \removelastskip \penalty-200 \vskip \initialskipamount\fi
  897. \line{\secbf#1\hfill}\kern 2pt\penalty3000}}
  898.  
  899. \outer\def\entry #1#2{
  900. {\parfillskip=0in \parskip=0in \parindent=0in
  901. \hangindent=1in \hangafter=1%
  902. \noindent\hbox{#1}\leaders\Dotsbox\hskip 0pt plus 1filll #2\par
  903. }}
  904.  
  905. \def\primary #1{\line{#1\hfil}}
  906.  
  907. \newskip\secondaryindent \secondaryindent=0.5cm
  908.  
  909. \def\secondary #1#2{
  910. {\parfillskip=0in \parskip=0in
  911. \hangindent =1in \hangafter=1
  912. \noindent\hskip\secondaryindent\hbox{#1}\leaders\Dotsbox\hskip 0pt plus 1filll#2\par
  913. }}
  914.  
  915. %% Define two-column mode, which is used in indexes.
  916. %% Adapted from the TeXBook, page 416
  917. \catcode `\@=11
  918.  
  919. \newbox\partialpage
  920.  
  921. \newdimen\doublecolumnhsize  \doublecolumnhsize = 3.11in
  922. \newdimen\doublecolumnvsize  \doublecolumnvsize = 19.1in
  923.  
  924. \def\begindoublecolumns{\begingroup
  925.   \output={\global\setbox\partialpage=\vbox{\unvbox255\kern -\topskip \kern \baselineskip}}\eject
  926.   \output={\doublecolumnout} \hsize=\doublecolumnhsize \vsize=\doublecolumnvsize}
  927. \def\enddoublecolumns{\output={\balancecolumns}\eject
  928.   \endgroup \pagegoal=\vsize}
  929.  
  930. \def\doublecolumnout{\splittopskip=\topskip \splitmaxdepth=\maxdepth
  931.   \dimen@=\pageheight \advance\dimen@ by-\ht\partialpage
  932.   \setbox0=\vsplit255 to\dimen@ \setbox2=\vsplit255 to\dimen@
  933.   \onepageout\pagesofar \unvbox255 \penalty\outputpenalty}
  934. \def\pagesofar{\unvbox\partialpage %
  935.   \hsize=\doublecolumnhsize % have to restore this since output routine
  936. %          changes it to set cropmarks (P. A. MacKay, 12 Nov. 1986)
  937.   \wd0=\hsize \wd2=\hsize \hbox to\pagewidth{\box0\hfil\box2}}
  938. \def\balancecolumns{\setbox0=\vbox{\unvbox255} \dimen@=\ht0
  939.   \advance\dimen@ by\topskip \advance\dimen@ by-\baselineskip
  940.   \divide\dimen@ by2 \splittopskip=\topskip
  941.   {\vbadness=10000 \loop \global\setbox3=\copy0
  942.     \global\setbox1=\vsplit3 to\dimen@
  943.     \ifdim\ht3>\dimen@ \global\advance\dimen@ by1pt \repeat}
  944.   \setbox0=\vbox to\dimen@{\unvbox1}  \setbox2=\vbox to\dimen@{\unvbox3}
  945.   \pagesofar}
  946.  
  947. \catcode `\@=\other
  948. \message{sectioning,}
  949. % Define chapters, sections, etc.
  950.  
  951. \newcount \chapno
  952. \newcount \secno
  953. \newcount \subsecno
  954. \newcount \subsubsecno
  955.  
  956. % This counter is funny since it counts through charcodes of letters A, B, ...
  957. \newcount \appendixno  \appendixno = `\@
  958. \def\appendixletter{\char\the\appendixno}
  959.  
  960. \newwrite \contentsfile
  961. \openout \contentsfile = \jobname.toc
  962.  
  963. % Each @chapter defines this as the name of the chapter.
  964. % page headings and footings can use it.  @section does likewise
  965.  
  966. \def\thischapter{} \def\thissection{}
  967. \def\seccheck#1{\if \pageno<0 %
  968. \errmessage{@#1 not allowed after generating table of contents}\fi
  969. %
  970. }
  971.  
  972. \outer\def\chapter{\parsearg\chapterzzz}
  973. \def\chapterzzz #1{\seccheck{chapter}%
  974. \secno=0 \subsecno=0 \subsubsecno=0 \global\advance \chapno by 1 \message{Chapter \the\chapno}%
  975. \chapmacro {#1}{\the\chapno}%
  976. \gdef\thissection{#1}\gdef\thischapter{#1}%
  977. \let\rawbackslash=\relax%
  978. \let\frenchspacing=\relax%
  979. \edef\temp{{\realbackslash chapentry {#1}{\the\chapno}{\noexpand\folio}}}%
  980. \escapechar=`\\%
  981. \write \contentsfile \temp  %
  982. \donoderef %
  983. }
  984.  
  985. \outer\def\appendix{\parsearg\appendixzzz}
  986. \def\appendixzzz #1{\seccheck{appendix}%
  987. \secno=0 \subsecno=0 \subsubsecno=0 \global\advance \appendixno by 1 \message{Appendix \appendixletter}%
  988. \chapmacro {#1}{Appendix \appendixletter}%
  989. \gdef\thischapter{#1}\gdef\thissection{#1}%
  990. \let\rawbackslash=\relax%
  991. \let\frenchspacing=\relax%
  992. \edef\temp{{\realbackslash chapentry {#1}{Appendix \appendixletter}{\noexpand\folio}}}%
  993. \escapechar=`\\%
  994. \write \contentsfile \temp  %
  995. \unnumbnoderef %
  996. }
  997.  
  998. \outer\def\unnumbered{\parsearg\unnumberedzzz}
  999. \def\unnumberedzzz #1{\seccheck{unnumbered}%
  1000. \secno=0 \subsecno=0 \subsubsecno=0 \message{(#1)}
  1001. \unnumbchapmacro {#1}%
  1002. \gdef\thischapter{#1}\gdef\thissection{#1}%
  1003. \let\rawbackslash=\relax%
  1004. \let\frenchspacing=\relax%
  1005. \edef\temp{{\realbackslash unnumbchapentry {#1}{\noexpand\folio}}}%
  1006. \escapechar=`\\%
  1007. \write \contentsfile \temp  %
  1008. \unnumbnoderef %
  1009. }
  1010.  
  1011. \outer\def\section{\parsearg\sectionzzz}
  1012. \def\sectionzzz #1{\seccheck{section}%
  1013. \subsecno=0 \subsubsecno=0 \global\advance \secno by 1 %
  1014. \gdef\thissection{#1}\secheading {#1}{\the\chapno}{\the\secno}%
  1015. \let\rawbackslash=\relax%
  1016. \let\frenchspacing=\relax%
  1017. \edef\temp{{\realbackslash secentry %
  1018. {#1}{\the\chapno}{\the\secno}{\noexpand\folio}}}%
  1019. \escapechar=`\\%
  1020. \write \contentsfile \temp %
  1021. \donoderef %
  1022. \penalty 10000 %
  1023. }
  1024.  
  1025. \outer\def\appendixsection{\parsearg\appendixsectionzzz}
  1026. \outer\def\appendixsec{\parsearg\appendixsectionzzz}
  1027. \def\appendixsectionzzz #1{\seccheck{appendixsection}%
  1028. \subsecno=0 \subsubsecno=0 \global\advance \secno by 1 %
  1029. \gdef\thissection{#1}\secheading {#1}{\appendixletter}{\the\secno}%
  1030. \let\rawbackslash=\relax%
  1031. \let\frenchspacing=\relax%
  1032. \edef\temp{{\realbackslash secentry %
  1033. {#1}{\appendixletter}{\the\secno}{\noexpand\folio}}}%
  1034. \escapechar=`\\%
  1035. \write \contentsfile \temp %
  1036. \unnumbnoderef %
  1037. \penalty 10000 %
  1038. }
  1039.  
  1040. \outer\def\unnumberedsec{\parsearg\unnumberedseczzz}
  1041. \def\unnumberedseczzz #1{\seccheck{unnumberedsec}%
  1042. \plainsecheading {#1}\gdef\thissection{#1}%
  1043. \let\rawbackslash=\relax%
  1044. \let\frenchspacing=\relax%
  1045. \edef\temp{{\realbackslash unnumbsecentry{#1}{\noexpand\folio}}}%
  1046. \escapechar=`\\%
  1047. \write \contentsfile \temp %
  1048. \unnumbnoderef %
  1049. \penalty 10000 %
  1050. }
  1051.  
  1052. \outer\def\subsection{\parsearg\subsectionzzz}
  1053. \def\subsectionzzz #1{\seccheck{subsection}%
  1054. \gdef\thissection{#1}\subsubsecno=0 \global\advance \subsecno by 1 %
  1055. \subsecheading {#1}{\the\chapno}{\the\secno}{\the\subsecno}%
  1056. \let\rawbackslash=\relax%
  1057. \let\frenchspacing=\relax%
  1058. \edef\temp{{\realbackslash subsecentry %
  1059. {#1}{\the\chapno}{\the\secno}{\the\subsecno}{\noexpand\folio}}}%
  1060. \escapechar=`\\%
  1061. \write \contentsfile \temp %
  1062. \donoderef %
  1063. \penalty 10000 %
  1064. }
  1065.  
  1066. \outer\def\appendixsubsec{\parsearg\appendixsubseczzz}
  1067. \def\appendixsubseczzz #1{\seccheck{appendixsubsec}%
  1068. \gdef\thissection{#1}\subsubsecno=0 \global\advance \subsecno by 1 %
  1069. \subsecheading {#1}{\appendixletter}{\the\secno}{\the\subsecno}%
  1070. \let\rawbackslash=\relax%
  1071. \let\frenchspacing=\relax%
  1072. \edef\temp{{\realbackslash subsecentry %
  1073. {#1}{\appendixletter}{\the\secno}{\the\subsecno}{\noexpand\folio}}}%
  1074. \escapechar=`\\%
  1075. \write \contentsfile \temp %
  1076. \unnumbnoderef %
  1077. \penalty 10000 %
  1078. }
  1079.  
  1080. \outer\def\unnumberedsubsec{\parsearg\unnumberedsubseczzz}
  1081. \def\unnumberedsubseczzz #1{\seccheck{unnumberedsubsec}%
  1082. \plainsecheading {#1}\gdef\thissection{#1}%
  1083. \let\rawbackslash=\relax%
  1084. \let\frenchspacing=\relax%
  1085. \edef\temp{{\realbackslash unnumbsubsecentry{#1}{\noexpand\folio}}}%
  1086. \escapechar=`\\%
  1087. \write \contentsfile \temp %
  1088. \unnumbnoderef %
  1089. \penalty 10000 %
  1090. }
  1091.  
  1092. \outer\def\subsubsection{\parsearg\subsubsectionzzz}
  1093. \def\subsubsectionzzz #1{\seccheck{subsubsection}%
  1094. \gdef\thissection{#1}\global\advance \subsubsecno by 1 %
  1095. \subsubsecheading {#1}{\the\chapno}{\the\secno}{\the\subsecno}{\the\subsubsecno}%
  1096. \let\rawbackslash=\relax%
  1097. \let\frenchspacing=\relax%
  1098. \edef\temp{{\realbackslash subsubsecentry %
  1099. {#1}{\the\chapno}{\the\secno}{\the\subsecno}{\the\subsubsecno}{\noexpand\folio}}}%\
  1100. \escapechar=`\\%
  1101. \write \contentsfile \temp %
  1102. \donoderef %
  1103. \penalty 10000 %
  1104. }
  1105.  
  1106. \outer\def\appendixsubsubsec{\parsearg\appendixsubsubseczzz}
  1107. \def\appendixsubsubseczzz #1{\seccheck{appendixsubsubsec}%
  1108. \gdef\thissection{#1}\global\advance \subsubsecno by 1 %
  1109. \subsubsecheading {#1}{\appendixletter}{\the\secno}{\the\subsecno}{\the\subsubsecno}%
  1110. \let\rawbackslash=\relax%
  1111. \let\frenchspacing=\relax%
  1112. \edef\temp{{\realbackslash subsubsecentry{#1}%
  1113. {\appendixletter}{\the\secno}{\the\subsecno}{\the\subsubsecno}{\noexpand\folio}}}%\
  1114. \escapechar=`\\%
  1115. \write \contentsfile \temp %
  1116. \unnumbnoderef %
  1117. \penalty 10000 %
  1118. }
  1119.  
  1120. \outer\def\unnumberedsubsubsec{\parsearg\unnumberedsubsubseczzz}
  1121. \def\unnumberedsubsubseczzz #1{\seccheck{unnumberedsubsubsec}%
  1122. \plainsecheading {#1}\gdef\thissection{#1}%
  1123. \let\rawbackslash=\relax%
  1124. \let\frenchspacing=\relax%
  1125. \edef\temp{{\realbackslash unnumbsubsubsecentry{#1}{\noexpand\folio}}}%
  1126. \escapechar=`\\%
  1127. \write \contentsfile \temp %
  1128. \unnumbnoderef %
  1129. \penalty 10000 %
  1130. }
  1131.  
  1132. % These are variants which are not "outer", so they can appear in @ifinfo.
  1133. \def\infounnumbered{\parsearg\unnumberedzzz}
  1134. \def\infounnumberedsec{\parsearg\unnumberedseczzz}
  1135. \def\infounnumberedsubsec{\parsearg\unnumberedsubseczzz}
  1136. \def\infounnumberedsubsubsec{\parsearg\unnumberedsubsubseczzz}
  1137.  
  1138. \def\infoappendix{\parsearg\appendixzzz}
  1139. \def\infoappendixsec{\parsearg\appendixseczzz}
  1140. \def\infoappendixsubsec{\parsearg\appendixsubseczzz}
  1141. \def\infoappendixsubsubsec{\parsearg\appendixsubsubseczzz}
  1142.  
  1143. \def\infochapter{\parsearg\chapterzzz}
  1144. \def\infosection{\parsearg\sectionzzz}
  1145. \def\infosubsection{\parsearg\subsectionzzz}
  1146. \def\infosubsubsection{\parsearg\subsubsectionzzz}
  1147.  
  1148. % Define @majorheading, @heading and @subheading
  1149.  
  1150. \def\majorheading #1{%
  1151. {\advance\chapheadingskip by 10pt \chapbreak }%
  1152. {\chapfonts \line{\rm #1\hfill}}\bigskip \par\penalty 200}
  1153.  
  1154. \def\chapheading #1{\chapbreak %
  1155. {\chapfonts \line{\rm #1\hfill}}\bigskip \par\penalty 200}
  1156.  
  1157. \def\heading{\parsearg\secheadingi}
  1158.  
  1159. % These macros generate a chapter, section, etc. heading only
  1160. % (including whitespace, linebreaking, etc. around it),
  1161. % given all the information in convenient, parsed form.
  1162.  
  1163. %%% Args are the skip and penalty (usually negative)
  1164. \def\dobreak#1#2{\par\ifdim\lastskip<#1\removelastskip\penalty#2\vskip#1\fi}
  1165.  
  1166. \def\setchapterstyle #1 {\csname CHAPF#1\endcsname}
  1167.  
  1168. %%% Define plain chapter starts, and page on/off switching for it
  1169. % Parameter controlling skip before chapter headings (if needed)
  1170.  
  1171. \newskip \chapheadingskip \chapheadingskip = 30pt plus 8pt minus 4pt
  1172.  
  1173. \def\chapbreak{\dobreak \chapheadingskip {-4000}}
  1174. \def\chappager{\par\vfill\supereject}
  1175. \def\chapoddpage{\chappager \ifodd\pageno \else \hbox to 0pt{} \chappager\fi}
  1176.  
  1177. \def\setchapternewpage #1 {\csname CHAPPAG#1\endcsname}
  1178.  
  1179. \def\CHAPPAGoff{
  1180. \global\let\pchapsepmacro=\chapbreak
  1181. \global\let\pagealignmacro=\chappager}
  1182.  
  1183. \def\CHAPPAGon{
  1184. \global\let\pchapsepmacro=\chappager
  1185. \global\let\pagealignmacro=\chappager
  1186. \global\def\HEADINGSon{\HEADINGSsingle}}
  1187.  
  1188. \def\CHAPPAGodd{
  1189. \global\let\pchapsepmacro=\chapoddpage
  1190. \global\let\pagealignmacro=\chapoddpage
  1191. \global\def\HEADINGSon{\HEADINGSdouble}}
  1192.  
  1193. \CHAPPAGon
  1194.  
  1195. \def\CHAPFplain{
  1196. \global\let\chapmacro=\chfplain
  1197. \global\let\unnumbchapmacro=\unnchfplain}
  1198.  
  1199. \def\chfplain #1#2{%
  1200. \pchapsepmacro %
  1201. {\chapfonts \line{\rm #2.\enspace #1\hfill}}\bigskip \par\penalty 5000 %
  1202. }
  1203.  
  1204. \def\unnchfplain #1{%
  1205. \pchapsepmacro %
  1206. {\chapfonts \line{\rm #1\hfill}}\bigskip \par\penalty 10000 %
  1207. }
  1208. \CHAPFplain % The default
  1209.  
  1210. \def\unnchfopen #1{%
  1211. \chapoddpage {\chapfonts \line{\rm #1\hfill}}\bigskip \par\penalty 10000 %
  1212. }
  1213.  
  1214. \def\chfopen #1#2{\chapoddpage {\chapfonts
  1215. \vbox to 3in{\vfil \hbox to\hsize{\hfil #2} \hbox to\hsize{\hfil #1} \vfil}}%
  1216. \par\penalty 5000 %
  1217. }
  1218.  
  1219. \def\CHAPFopen{
  1220. \global\let\chapmacro=\chfopen
  1221. \global\let\unnumbchapmacro=\unnchfopen}
  1222.  
  1223. % Parameter controlling skip before section headings.
  1224.  
  1225. \newskip \subsecheadingskip  \subsecheadingskip = 17pt plus 8pt minus 4pt
  1226. \def\subsecheadingbreak{\dobreak \subsecheadingskip {-500}}
  1227.  
  1228. \newskip \secheadingskip  \secheadingskip = 21pt plus 8pt minus 4pt
  1229. \def\secheadingbreak{\dobreak \secheadingskip {-1000}}
  1230.  
  1231.  
  1232. % Section fonts are the base font at magstep2, which produces
  1233. % a size a bit more than 14 points in the default situation.    
  1234.  
  1235. \def\secheading #1#2#3{\secheadingi {#2.#3\enspace #1}}
  1236. \def\plainsecheading #1{\secheadingi {#1}}
  1237. \def\secheadingi #1{{\advance \secheadingskip by \parskip %
  1238. \secheadingbreak}%
  1239. {\secfonts \line{\rm #1\hfill}}%
  1240. \ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000 }
  1241.  
  1242.  
  1243. % Subsection fonts are the base font at magstep1, 
  1244. % which produces a size of 12 points.
  1245.  
  1246. \def\subsecheading #1#2#3#4{{\advance \subsecheadingskip by \parskip %
  1247. \subsecheadingbreak}%
  1248. {\subsecfonts \line{\rm#2.#3.#4\enspace #1\hfill}}%
  1249. \ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000 }
  1250.  
  1251. \def\subsubsecfonts{\subsecfonts} % Maybe this should change:
  1252.                   % Perhaps make sssec fonts scaled
  1253.                   % magstep half
  1254. \def\subsubsecheading #1#2#3#4#5{{\advance \subsecheadingskip by \parskip %
  1255. \subsecheadingbreak}%
  1256. {\subsubsecfonts \line{\rm#2.#3.#4.#5\enspace #1\hfill}}%
  1257. \ifdim \parskip<10pt \kern 10pt\kern -\parskip\fi \penalty 10000}
  1258.  
  1259.  
  1260. \message{toc printing,}
  1261.  
  1262. \def\Dotsbox{\hbox to 1em{\hss.\hss}} % Used by index macros
  1263.  
  1264. \def\finishcontents{%
  1265. \ifnum\pageno>0 %
  1266. \pagealignmacro %
  1267. \immediate\closeout \contentsfile%
  1268. \pageno=-1        % Request roman numbered pages
  1269. \fi}
  1270.  
  1271. \outer\def\contents{%
  1272. \finishcontents %
  1273. \unnumbchapmacro{Table of Contents}
  1274. \def\thischapter{Table of Contents}
  1275. {\catcode`\\=0
  1276. \catcode`\{=1        % Set up to handle contents files properly
  1277. \catcode`\}=2
  1278. \catcode`\@=11
  1279. \input \jobname.toc
  1280. }
  1281. \vfill \eject}
  1282.  
  1283. \outer\def\summarycontents{%
  1284. \finishcontents %
  1285. \unnumbchapmacro{Summary Table of Contents}
  1286. \def\thischapter{Summary Table of Contents}
  1287. {\catcode`\\=0
  1288. \catcode`\{=1        % Set up to handle contents files properly
  1289. \catcode`\}=2
  1290. \catcode`\@=11
  1291. \def\smallbreak{}
  1292. \def\secentry ##1##2##3##4{}
  1293. \def\subsecentry ##1##2##3##4##5{}
  1294. \def\subsubsecentry ##1##2##3##4##5##6{}
  1295. \def\unnumbsecentry ##1##2{}
  1296. \def\unnumbsubsecentry ##1##2{}
  1297. \def\unnumbsubsubsecentry ##1##2{}
  1298. \let\medbreak=\smallbreak
  1299. \input \jobname.toc
  1300. }
  1301. \vfill \eject}
  1302.  
  1303. \outer\def\bye{\pagealignmacro\tracingstats=1\ptexend}
  1304.  
  1305. % These macros generate individual entries in the table of contents
  1306. % The first argument is the chapter or section name.
  1307. % The last argument is the page number.
  1308. % The arguments in between are the chapter number, section number, ...
  1309.  
  1310. \def\chapentry #1#2#3{%
  1311. \medbreak
  1312. \line{#2.\space#1\leaders\hbox to 1em{\hss.\hss}\hfill #3}
  1313. }
  1314.  
  1315. \def\unnumbchapentry #1#2{%
  1316. \medbreak
  1317. \line{#1\leaders\Dotsbox\hfill #2}
  1318. }
  1319.  
  1320. \def\secentry #1#2#3#4{%
  1321. \line{\enspace\enspace#2.#3\space#1\leaders\Dotsbox\hfill#4}
  1322. }
  1323.  
  1324. \def\unnumbsecentry #1#2{%
  1325. \line{\enspace\enspace#1\leaders\Dotsbox\hfill #2}
  1326. }
  1327.  
  1328. \def\subsecentry #1#2#3#4#5{%
  1329. \line{\enspace\enspace\enspace\enspace
  1330. #2.#3.#4\space#1\leaders\Dotsbox\hfill #5}
  1331. }
  1332.  
  1333. \def\unnumbsubsecentry #1#2{%
  1334. \line{\enspace\enspace\enspace\enspace#1\leaders\Dotsbox\hfill #2}
  1335. }
  1336.  
  1337. \def\subsubsecentry #1#2#3#4#5#6{%
  1338. \line{\enspace\enspace\enspace\enspace\enspace\enspace
  1339. #2.#3.#4.#5\space#1\leaders\Dotsbox\hfill #6}
  1340. }
  1341.  
  1342. \def\unnumbsubsubsecentry #1#2{%
  1343. \line{\enspace\enspace\enspace\enspace\enspace\enspace#1\leaders\Dotsbox\hfill #2}
  1344. }
  1345.  
  1346. \message{environments,}
  1347.  
  1348. % @tex ... @end tex    escapes into raw Tex temporarily.
  1349. % One exception: @ is still an escape character, so that @end tex works.
  1350. % But \@ or @@ will get a plain tex @ character.
  1351.  
  1352. \def\tex{\begingroup
  1353. \catcode `\\=0 \catcode `\{=1 \catcode `\}=2
  1354. \catcode `\$=3 \catcode `\&=4 \catcode `\#=6
  1355. \catcode `\^=7 \catcode `\_=8 \catcode `\~=13 \let~=\tie
  1356. \catcode `\%=14
  1357. \catcode`\"=12
  1358. \catcode`\|=12
  1359. \catcode`\<=12
  1360. \catcode`\>=12
  1361. \escapechar=`\\
  1362. %
  1363. \let\{=\ptexlbrace
  1364. \let\}=\ptexrbrace
  1365. \let\.=\ptexdot
  1366. \let\*=\ptexstar
  1367. \def\@={@}%
  1368. \let\bullet=\ptexbullet
  1369. \let\b=\ptexb \let\c=\ptexc \let\i=\ptexi \let\t=\ptext \let\l=\ptexl
  1370. \let\L=\ptexL
  1371. %
  1372. \let\Etex=\endgroup}
  1373.  
  1374. % Define @lisp ... @endlisp.
  1375. % @lisp does a \begingroup so it can rebind things,
  1376. % including the definition of @endlisp (which normally is erroneous).
  1377.  
  1378. % Amount to narrow the margins by for @lisp.
  1379. \newskip\lispnarrowing \lispnarrowing=0.4in
  1380.  
  1381. % This is the definition that ^M gets inside @lisp
  1382. % phr: changed space to \null, to avoid overfull hbox problems.
  1383. {\obeyspaces%
  1384. \gdef\lisppar{\null\endgraf}}
  1385.  
  1386. % Cause \obeyspaces to make each Space cause a word-separation
  1387. % rather than the default which is that it acts punctuation.
  1388. % This is because space in tt font looks funny.
  1389. {\obeyspaces %
  1390. \gdef\sepspaces{\def {\ }}}
  1391.  
  1392. \newskip\aboveenvskipamount \aboveenvskipamount= 0pt
  1393. \def\aboveenvbreak{{\advance\aboveenvskipamount by \parskip
  1394. \endgraf \ifdim\lastskip<\aboveenvskipamount
  1395. \removelastskip \penalty-50 \vskip\aboveenvskipamount \fi}}
  1396.  
  1397. \def\afterenvbreak{\endgraf \ifdim\lastskip<\aboveenvskipamount
  1398. \removelastskip \penalty-50 \vskip\aboveenvskipamount \fi}
  1399.  
  1400. \def\lisp{\aboveenvbreak\begingroup\inENV %This group ends at the end of the @lisp body
  1401. \hfuzz=12truept % Don't be fussy
  1402. % Make spaces be word-separators rather than space tokens.
  1403. \sepspaces %
  1404. % Single space lines
  1405. \singlespace %
  1406. % The following causes blank lines not to be ignored
  1407. % by adding a space to the end of each line.
  1408. \let\par=\lisppar
  1409. \def\Elisp{\endgroup\afterenvbreak}%
  1410. \parskip=0pt
  1411. \advance \leftskip by \lispnarrowing
  1412. \parindent=0pt
  1413. \let\exdent=\internalexdent
  1414. \obeyspaces \obeylines \tt \rawbackslash
  1415. \def\next##1{}\next}
  1416.  
  1417.  
  1418. \let\example=\lisp
  1419. \def\Eexample{\Elisp}
  1420.  
  1421. \let\smallexample=\lisp
  1422. \def\Esmallexample{\Elisp}
  1423.  
  1424. % Macro for 9 pt. examples, necessary to print with 5" lines.
  1425. % From Pavel@xerox.  This is not really used unless the
  1426. % @smallbook command is given.
  1427.  
  1428. \def\smalllispx{\aboveenvbreak\begingroup\inENV
  1429. %            This group ends at the end of the @lisp body
  1430. \hfuzz=12truept % Don't be fussy
  1431. % Make spaces be word-separators rather than space tokens.
  1432. \sepspaces %
  1433. % Single space lines
  1434. \singlespace %
  1435. % The following causes blank lines not to be ignored
  1436. % by adding a space to the end of each line.
  1437. \let\par=\lisppar
  1438. \def\Esmalllisp{\endgroup\afterenvbreak}%
  1439. \parskip=0pt
  1440. \advance \leftskip by \lispnarrowing
  1441. \parindent=0pt
  1442. \let\exdent=\internalexdent
  1443. \obeyspaces \obeylines \ninett \rawbackslash
  1444. \def\next##1{}\next}
  1445.  
  1446. % This is @display; same as @lisp except use roman font.
  1447.  
  1448. \def\display{\begingroup\inENV %This group ends at the end of the @display body
  1449. \aboveenvbreak
  1450. % Make spaces be word-separators rather than space tokens.
  1451. \sepspaces %
  1452. % Single space lines
  1453. \singlespace %
  1454. % The following causes blank lines not to be ignored
  1455. % by adding a space to the end of each line.
  1456. \let\par=\lisppar
  1457. \def\Edisplay{\endgroup\afterenvbreak}%
  1458. \parskip=0pt
  1459. \advance \leftskip by \lispnarrowing
  1460. \parindent=0pt
  1461. \let\exdent=\internalexdent
  1462. \obeyspaces \obeylines
  1463. \def\next##1{}\next}
  1464.  
  1465. % This is @format; same as @lisp except use roman font and don't narrow margins
  1466.  
  1467. \def\format{\begingroup\inENV %This group ends at the end of the @format body
  1468. \aboveenvbreak
  1469. % Make spaces be word-separators rather than space tokens.
  1470. \sepspaces %
  1471. \singlespace %
  1472. % The following causes blank lines not to be ignored
  1473. % by adding a space to the end of each line.
  1474. \let\par=\lisppar
  1475. \def\Eformat{\endgroup\afterenvbreak}
  1476. \parskip=0pt \parindent=0pt
  1477. \obeyspaces \obeylines
  1478. \def\next##1{}\next}
  1479.  
  1480. % @flushleft and @flushright
  1481.  
  1482. \def\flushleft{\begingroup\inENV %This group ends at the end of the @format body
  1483. \aboveenvbreak
  1484. % Make spaces be word-separators rather than space tokens.
  1485. \sepspaces %
  1486. % The following causes blank lines not to be ignored
  1487. % by adding a space to the end of each line.
  1488. % This also causes @ to work when the directive name
  1489. % is terminated by end of line.
  1490. \let\par=\lisppar
  1491. \def\Eflushleft{\endgroup\afterenvbreak}%
  1492. \parskip=0pt \parindent=0pt
  1493. \obeyspaces \obeylines
  1494. \def\next##1{}\next}
  1495.  
  1496. \def\flushright{\begingroup\inENV %This group ends at the end of the @format body
  1497. \aboveenvbreak
  1498. % Make spaces be word-separators rather than space tokens.
  1499. \sepspaces %
  1500. % The following causes blank lines not to be ignored
  1501. % by adding a space to the end of each line.
  1502. % This also causes @ to work when the directive name
  1503. % is terminated by end of line.
  1504. \let\par=\lisppar
  1505. \def\Eflushright{\endgroup\afterenvbreak}%
  1506. \parskip=0pt \parindent=0pt
  1507. \advance \leftskip by 0pt plus 1fill
  1508. \obeyspaces \obeylines
  1509. \def\next##1{}\next}
  1510.  
  1511. % @quotation - narrow the margins.
  1512.  
  1513. \def\quotation{\begingroup\inENV %This group ends at the end of the @quotation body
  1514. {\parskip=0pt  % because we will skip by \parskip too, later
  1515. \aboveenvbreak}%
  1516. \singlespace
  1517. \parindent=0pt
  1518. \def\Equotation{\par\endgroup\afterenvbreak}%
  1519. \advance \rightskip by \lispnarrowing 
  1520. \advance \leftskip by \lispnarrowing}
  1521.  
  1522. \message{defuns,}
  1523. % Define formatter for defuns
  1524. % First, allow user to change definition object font (\df) internally
  1525. \def\setdeffont #1 {\csname DEF#1\endcsname}
  1526.  
  1527. \newskip\defbodyindent \defbodyindent=36pt
  1528. \newskip\defargsindent \defargsindent=50pt
  1529. \newskip\deftypemargin \deftypemargin=12pt
  1530. \newskip\deflastargmargin \deflastargmargin=18pt
  1531.  
  1532. \newcount\parencount
  1533. % define \functionparens, which makes ( and ) and & do special things.
  1534. % \functionparens affects the group it is contained in.
  1535. \def\activeparens{%
  1536. \catcode`\(=\active \catcode`\)=\active \catcode`\&=\active
  1537. \catcode`\[=\active \catcode`\]=\active}
  1538. {\activeparens % Now, smart parens don't turn on until &foo (see \amprm)
  1539. \gdef\functionparens{\boldbrax\let&=\amprm\parencount=0 }
  1540. \gdef\boldbrax{\let(=\opnr\let)=\clnr\let[=\lbrb\let]=\rbrb}
  1541.  
  1542. % Definitions of (, ) and & used in args for functions.
  1543. % This is the definition of ( outside of all parentheses.
  1544. \gdef\oprm#1 {{\rm\char`\(}#1 \bf \let(=\opnested %
  1545. \global\advance\parencount by 1 }
  1546. %
  1547. % This is the definition of ( when already inside a level of parens.
  1548. \gdef\opnested{\char`\(\global\advance\parencount by 1 }
  1549. %
  1550. \gdef\clrm{% Print a paren in roman if it is taking us back to depth of 0.
  1551. % also in that case restore the outer-level definition of (.
  1552. \ifnum \parencount=1 {\rm \char `\)}\sl \let(=\oprm \else \char `\) \fi
  1553. \global\advance \parencount by -1 }
  1554. % If we encounter &foo, then turn on ()-hacking afterwards
  1555. \gdef\amprm#1 {{\rm\}\let(=\oprm \let)=\clrm\ }
  1556. %
  1557. \gdef\normalparens{\boldbrax\let&=\ampnr}
  1558. } % End of definition inside \activeparens
  1559. %% These parens (in \boldbrax) actually are a little bolder than the
  1560. %% contained text.  This is especially needed for [ and ]
  1561. \def\opnr{{\sf\char`\(}} \def\clnr{{\sf\char`\)}} \def\ampnr{\&}
  1562. \def\lbrb{{\tt\char`\[}} \def\rbrb{{\tt\char`\]}}
  1563.  
  1564. % First, defname, which formats the header line itself.
  1565. % #1 should be the function name.
  1566. % #2 should be the type of definition, such as "Function".
  1567.  
  1568. \def\defname #1#2{%
  1569. \leftskip = 0in  %
  1570. \noindent        %
  1571. \setbox0=\hbox{\hskip \deflastargmargin{\rm #2}\hskip \deftypemargin}%
  1572. \dimen0=\hsize \advance \dimen0 by -\wd0 % compute size for first line
  1573. \dimen1=\hsize \advance \dimen1 by -\defargsindent %size for continuations
  1574. \parshape 2 0in \dimen0 \defargsindent \dimen1     %
  1575. % Now output arg 2 ("Function" or some such)
  1576. % ending at \deftypemargin from the right margin,
  1577. % but stuck inside a box of width 0 so it does not interfere with linebreaking
  1578. \rlap{\rightline{{\rm #2}\hskip \deftypemargin}}%
  1579. \tolerance=10000 \hbadness=10000    % Make all lines underfull and no complaints
  1580. {\df #1}\enskip        % Generate function name
  1581. }
  1582.  
  1583. % Actually process the body of a definition
  1584. % #1 should be the terminating control sequence, such as \Edefun.
  1585. % #2 should be the "another name" control sequence, such as \defunx.
  1586. % #3 should be the control sequence that actually processes the header,
  1587. %    such as \defunheader.
  1588.  
  1589. \def\defparsebody #1#2#3{\begingroup\inENV% Environment for definitionbody
  1590. \medbreak %
  1591. % Define the end token that this defining construct specifies
  1592. % so that it will exit this group.
  1593. \def#1{\endgraf\endgroup\medbreak}%
  1594. \def#2{\begingroup\obeylines\activeparens\spacesplit#3}%
  1595. \parindent=0in \leftskip=\defbodyindent %
  1596. \begingroup\obeylines\activeparens\spacesplit#3}
  1597.  
  1598. \def\defmethparsebody #1#2#3#4 {\begingroup\inENV %
  1599. \medbreak %
  1600. % Define the end token that this defining construct specifies
  1601. % so that it will exit this group.
  1602. \def#1{\endgraf\endgroup\medbreak}%
  1603. \def#2##1 {\begingroup\obeylines\activeparens\spacesplit{#3{##1}}}%
  1604. \parindent=0in \leftskip=\defbodyindent %
  1605. \begingroup\obeylines\activeparens\spacesplit{#3{#4}}}
  1606.  
  1607. % Split up #2 at the first space token.
  1608. % call #1 with two arguments:
  1609. %  the first is all of #2 before the space token,
  1610. %  the second is all of #2 after that space token.
  1611. % If #2 contains no space token, all of it is passed as the first arg
  1612. % and the second is passed as empty.
  1613.  
  1614. {\obeylines
  1615. \gdef\spacesplit#1#2^^M{\endgroup\spacesplitfoo{#1}#2 \relax\spacesplitfoo}%
  1616. \long\gdef\spacesplitfoo#1#2 #3#4\spacesplitfoo{%
  1617. \ifx\relax #3%
  1618. #1{#2}{}\else #1{#2}{#3#4}\fi}}
  1619.  
  1620. % So much for the things common to all kinds of definitions.
  1621.  
  1622. % Define @defun.
  1623.  
  1624. % First, define the processing that is wanted for arguments of \defun
  1625. % Use this to expand the args and terminate the paragraph they make up
  1626.  
  1627. \def\defunargs #1{\functionparens \sl #1%
  1628. \ifnum\parencount=0 \else \errmessage{unbalanced parens in @def arguments}\fi%
  1629. \interlinepenalty=10000
  1630. \endgraf\vskip -\parskip \penalty 10000}
  1631.  
  1632. % Do complete processing of one @defun or @defunx line already parsed.
  1633.  
  1634. % @deffn Command forward-char nchars
  1635.  
  1636. \def\deffn{\defmethparsebody\Edeffn\deffnx\deffnheader}
  1637.  
  1638. \def\deffnheader #1#2#3{\doind {fn}{\code{#2}}%
  1639. \begingroup\defname {#2}{#1}\defunargs{#3}\endgroup}
  1640.  
  1641. % @defun == @deffn Function
  1642.  
  1643. \def\defun{\defparsebody\Edefun\defunx\defunheader}
  1644.  
  1645. \def\defunheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
  1646. \begingroup\defname {#1}{Function}%
  1647. \defunargs {#2}\endgroup %
  1648. }
  1649.  
  1650. % @defmac == @deffn Macro
  1651.  
  1652. \def\defmac{\defparsebody\Edefmac\defmacx\defmacheader}
  1653.  
  1654. \def\defmacheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
  1655. \begingroup\defname {#1}{Macro}%
  1656. \defunargs {#2}\endgroup %
  1657. }
  1658.  
  1659. % @defspec == @deffn Special Form
  1660.  
  1661. \def\defspec{\defparsebody\Edefspec\defspecx\defspecheader}
  1662.  
  1663. \def\defspecheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
  1664. \begingroup\defname {#1}{Special form}%
  1665. \defunargs {#2}\endgroup %
  1666. }
  1667.  
  1668. % This definition is run if you use @defunx
  1669. % anywhere other than immediately after a @defun or @defunx.
  1670.  
  1671. \def\deffnx #1 {\errmessage{@deffnx in invalid context}}
  1672. \def\defunx #1 {\errmessage{@defunx in invalid context}}
  1673. \def\defmacx #1 {\errmessage{@defmacx in invalid context}}
  1674. \def\defspecx #1 {\errmessage{@defspecx in invalid context}}
  1675.  
  1676. % @defmethod, and so on
  1677.  
  1678. % @defop {Funny Method} foo-class frobnicate argument
  1679.  
  1680. \def\defop #1 {\def\defoptype{#1}%
  1681. \defmethparsebody\Edefop\defopx\defopheader}
  1682.  
  1683. \def\defopheader #1#2#3{\dosubind {fn}{\code{#2}}{on #1}% Make entry in function index
  1684. \begingroup\defname {#2}{\defoptype{} on #1}%
  1685. \defunargs {#3}\endgroup %
  1686. }
  1687.  
  1688. % @defmethod == @defop Method
  1689.  
  1690. \def\defmethod{\defmethparsebody\Edefmethod\defmethodx\defmethodheader}
  1691.  
  1692. \def\defmethodheader #1#2#3{\dosubind {fn}{\code{#2}}{on #1}% entry in function index
  1693. \begingroup\defname {#2}{Operation on #1}%
  1694. \defunargs {#3}\endgroup %
  1695. }
  1696.  
  1697. % @defcv {Class Option} foo-class foo-flag
  1698.  
  1699. \def\defcv #1 {\def\defcvtype{#1}%
  1700. \defmethparsebody\Edefcv\defcvx\defcvheader}
  1701.  
  1702. \def\defcvarheader #1#2#3{%
  1703. \dosubind {vr}{\code{#2}}{of #1}% Make entry in var index
  1704. \begingroup\defname {#2}{\defcvtype of #1}%
  1705. \defvarargs {#3}\endgroup %
  1706. }
  1707.  
  1708. % @defivar == @defcv {Instance Variable}
  1709.  
  1710. \def\defivar{\defmethparsebody\Edefivar\defivarx\defivarheader}
  1711.  
  1712. \def\defivarheader #1#2#3{%
  1713. \dosubind {vr}{\code{#2}}{of #1}% Make entry in var index
  1714. \begingroup\defname {#2}{Instance variable of #1}%
  1715. \defvarargs {#3}\endgroup %
  1716. }
  1717.  
  1718. % These definitions are run if you use @defmethodx, etc.,
  1719. % anywhere other than immediately after a @defmethod, etc.
  1720.  
  1721. \def\defopx #1 {\errmessage{@defopx in invalid context}}
  1722. \def\defmethodx #1 {\errmessage{@defmethodx in invalid context}}
  1723. \def\defcvx #1 {\errmessage{@defcvx in invalid context}}
  1724. \def\defivarx #1 {\errmessage{@defivarx in invalid context}}
  1725.  
  1726. % Now @defvar
  1727.  
  1728. % First, define the processing that is wanted for arguments of @defvar.
  1729. % This is actually simple: just print them in roman.
  1730. % This must expand the args and terminate the paragraph they make up
  1731. \def\defvarargs #1{\normalparens #1%
  1732. \interlinepenalty=10000
  1733. \endgraf\vskip -\parskip \penalty 10000}
  1734.  
  1735. % @defvr Counter foo-count
  1736.  
  1737. \def\defvr{\defmethparsebody\Edefvr\defvrx\defvrheader}
  1738.  
  1739. \def\defvrheader #1#2#3{\doind {vr}{\code{#2}}%
  1740. \begingroup\defname {#2}{#1}\defvarargs{#3}\endgroup}
  1741.  
  1742. % @defvar == @defvr Variable
  1743.  
  1744. \def\defvar{\defparsebody\Edefvar\defvarx\defvarheader}
  1745.  
  1746. \def\defvarheader #1#2{\doind {vr}{\code{#1}}% Make entry in var index
  1747. \begingroup\defname {#1}{Variable}%
  1748. \defvarargs {#2}\endgroup %
  1749. }
  1750.  
  1751. % @defopt == @defvr {User Option}
  1752.  
  1753. \def\defopt{\defparsebody\Edefopt\defoptx\defoptheader}
  1754.  
  1755. \def\defoptheader #1#2{\doind {vr}{\code{#1}}% Make entry in var index
  1756. \begingroup\defname {#1}{User Option}%
  1757. \defvarargs {#2}\endgroup %
  1758. }
  1759.  
  1760. % This definition is run if you use @defvarx
  1761. % anywhere other than immediately after a @defvar or @defvarx.
  1762.  
  1763. \def\defvrx #1 {\errmessage{@defvrx in invalid context}}
  1764. \def\defvarx #1 {\errmessage{@defvarx in invalid context}}
  1765. \def\defoptx #1 {\errmessage{@defoptx in invalid context}}
  1766.  
  1767. % Now define @deftp
  1768. % Args are printed in bold, a slight difference from @defvar.
  1769.  
  1770. \def\deftpargs #1{\bf \defvarargs{#1}}
  1771.  
  1772. % @deftp Class window height width ...
  1773.  
  1774. \def\deftp{\defmethparsebody\Edeftp\deftpx\deftpheader}
  1775.  
  1776. \def\deftpheader #1#2#3{\doind {tp}{\code{#2}}%
  1777. \begingroup\defname {#2}{#1}\deftpargs{#3}\endgroup}
  1778.  
  1779. % This definition is run if you use @deftpx, etc
  1780. % anywhere other than immediately after a @deftp, etc.
  1781.  
  1782. \def\deftpx #1 {\errmessage{@deftpx in invalid context}}
  1783.  
  1784. \message{cross reference,}
  1785. % Define cross-reference macros
  1786. \newwrite \auxfile
  1787.  
  1788. % \setref{foo} defines a cross-reference point named foo.
  1789.  
  1790. \def\setref#1{%
  1791. \dosetq{#1-pg}{Ypagenumber}%
  1792. \dosetq{#1-snt}{Ysectionnumberandtype}}
  1793.  
  1794. \def\unnumbsetref#1{%
  1795. \dosetq{#1-pg}{Ypagenumber}%
  1796. \dosetq{#1-snt}{Ynothing}}
  1797.  
  1798. % \xref and \pxref generate cross references to specified points.
  1799.  
  1800. \def\pxref #1{see \xrefX [#1,,,,,,,]}
  1801. \def\xref #1{See \xrefX [#1,,,,,,,]}
  1802. \def\xrefX [#1,#2,#3,#4,#5,#6]{%
  1803. \setbox1=\hbox{\i{\losespace#5{}}}%
  1804. \setbox0=\hbox{\losespace#3{}}%
  1805. \ifdim \wd0 =0pt \setbox0=\hbox{\losespace#1{}}\fi%
  1806. \ifdim \wd1 >0pt%
  1807. section \unhbox0{} in \unhbox1%
  1808. \else%
  1809. \refx{#1-snt} [\unhbox0], page\tie \refx{#1-pg}%
  1810. \fi }
  1811.  
  1812. % \dosetq is the interface for calls from other macros
  1813.  
  1814. \def\dosetq #1#2{{\let\folio=0%
  1815. \edef\next{\write\auxfile{\internalsetq {#1}{#2}}}%
  1816. \next}}
  1817.  
  1818. % \internalsetq {foo}{page} expands into CHARACTERS 'xrdef {foo}{...expansion of \Ypage...}
  1819. % When the aux file is read, ' is the escape character
  1820.  
  1821. \def\internalsetq #1#2{'xrdef {#1}{\csname #2\endcsname}}
  1822.  
  1823. % Things to be expanded by \internalsetq
  1824.  
  1825. \def\Ypagenumber{\folio}
  1826.  
  1827. \def\Ynothing{}
  1828.  
  1829. \def\Ysectionnumberandtype{%
  1830. \ifnum\secno=0 chapter\xreftie\the\chapno %
  1831. \else \ifnum \subsecno=0 section\xreftie\the\chapno.\the\secno %
  1832. \else \ifnum \subsubsecno=0 %
  1833. section\xreftie\the\chapno.\the\secno.\the\subsecno %
  1834. \else %
  1835. section\xreftie\the\chapno.\the\secno.\the\subsecno.\the\subsubsecno %
  1836. \fi \fi \fi }
  1837.  
  1838. \gdef\xreftie{'tie}
  1839.  
  1840. % Define @refx to reference a specific cross-reference string.
  1841.  
  1842. \def\refx#1{%
  1843. {%
  1844. \expandafter\ifx\csname X#1\endcsname\relax
  1845. % If not defined, say something at least.
  1846. \expandafter\gdef\csname X#1\endcsname {$<$undefined$>$}%
  1847. \message {WARNING: Cross-reference "#1" used but not yet defined}%
  1848. \message {}%
  1849. \fi %
  1850. \csname X#1\endcsname %It's defined, so just use it.
  1851. }}
  1852.  
  1853. % Read the last existing aux file, if any.  No error if none exists.
  1854.  
  1855. % This is the macro invoked by entries in the aux file.
  1856. \def\xrdef #1#2{
  1857. {\catcode`\'=\other\expandafter \gdef \csname X#1\endcsname {#2}}}
  1858.  
  1859. {
  1860. \catcode `\^^@=\other
  1861. \catcode `\=\other
  1862. \catcode `\=\other
  1863. \catcode `\^^C=\other
  1864. \catcode `\^^D=\other
  1865. \catcode `\^^E=\other
  1866. \catcode `\^^F=\other
  1867. \catcode `\^^G=\other
  1868. \catcode `\^^H=\other
  1869. \catcode `\ =\other
  1870. \catcode `\^^L=\other
  1871. \catcode `\=\other
  1872. \catcode `\=\other
  1873. \catcode `\=\other
  1874. \catcode `\=\other
  1875. \catcode `\=\other
  1876. \catcode `\=\other
  1877. \catcode `\=\other
  1878. \catcode `\=\other
  1879. \catcode `\=\other
  1880. \catcode `\=\other
  1881. \catcode `\=\other
  1882. \catcode `\=\other
  1883. \catcode `\=\other
  1884. \catcode `\^^[=\other
  1885. \catcode `\^^\=\other
  1886. \catcode `\^^]=\other
  1887. \catcode `\^^^=\other
  1888. \catcode `\^^_=\other
  1889. \catcode `\@=\other
  1890. \catcode `\^=\other
  1891. \catcode `\~=\other
  1892. \catcode `\[=\other
  1893. \catcode `\]=\other
  1894. \catcode`\"=\other
  1895. \catcode`\_=\other
  1896. \catcode`\|=\other
  1897. \catcode`\<=\other
  1898. \catcode`\>=\other
  1899. \catcode `\$=\other
  1900. \catcode `\#=\other
  1901. \catcode `\&=\other
  1902.  
  1903. % the aux file uses ' as the escape.
  1904. % Turn off \ as an escape so we do not lose on
  1905. % entries which were dumped with control sequences in their names.
  1906. % For example, 'xrdef {$\leq $-fun}{page ...} made by @defun ^^
  1907. % Reference to such entries still does not work the way one would wish,
  1908. % but at least they do not bomb out when the aux file is read in.
  1909.  
  1910. \catcode `\{=1 \catcode `\}=2
  1911. \catcode `\%=\other
  1912. \catcode `\'=0
  1913. \catcode `\\=\other
  1914.  
  1915. 'openin 1 'jobname.aux
  1916. 'ifeof 1 'else 'closein 1 'input 'jobname.aux
  1917. 'fi
  1918. }
  1919.  
  1920. % Open the new aux file.  Tex will close it automatically at exit.
  1921.  
  1922. \openout \auxfile=\jobname.aux
  1923.  
  1924. % Footnotes.
  1925.  
  1926. \newcount \footnoteno
  1927.  
  1928. \def\supereject{\par\penalty -20000\footnoteno =0 }
  1929.  
  1930. \let\ptexfootnote=\footnote
  1931.  
  1932. {\catcode `\@=11
  1933. \gdef\footnote{\global\advance \footnoteno by \@ne
  1934. \edef\thisfootno{$^{\the\footnoteno}$}%
  1935. \let\@sf\empty
  1936. \ifhmode\edef\@sf{\spacefactor\the\spacefactor}\/\fi
  1937. \thisfootno\@sf\parsearg\footnotezzz}
  1938.  
  1939. \gdef\footnotezzz #1{\insert\footins{
  1940. \interlinepenalty\interfootnotelinepenalty
  1941. \splittopskip\ht\strutbox % top baseline for broken footnotes
  1942. \splitmaxdepth\dp\strutbox \floatingpenalty\@MM
  1943. \leftskip\z@skip \rightskip\z@skip \spaceskip\z@skip \xspaceskip\z@skip
  1944. \footstrut\hang\textindent{\thisfootno}#1\strut}}
  1945.  
  1946. }%end \catcode `\@=11
  1947.  
  1948. % End of control word definitions.
  1949.  
  1950. \message{and turning on texinfo input format.}
  1951.  
  1952. \newindex{cp}
  1953. \newcodeindex{fn}
  1954. \newcodeindex{vr}
  1955. \newcodeindex{tp}
  1956. \newcodeindex{ky}
  1957. \newcodeindex{pg}
  1958.  
  1959. % Set some numeric style parameters, for 8.5 x 11 format.
  1960.  
  1961. \hsize = 6.5in
  1962. \parindent 15pt
  1963. \parskip 18pt plus 1pt
  1964. \baselineskip 15pt
  1965. \advance\topskip by 1.2cm
  1966.  
  1967. % Prevent underfull vbox error messages.
  1968. \vbadness=10000
  1969.  
  1970. % Use @smallbook to reset parameters for 7x9.5 format
  1971. \def\smallbook{
  1972. \global\lispnarrowing = 0.3in
  1973. \global\baselineskip 12pt
  1974. \global\parskip 3pt plus 1pt
  1975. \global\hsize = 5in
  1976. \global\doublecolumnhsize=2.4in \global\doublecolumnvsize=15.0in
  1977. \global\vsize=7.5in
  1978. \global\tolerance=700
  1979. \global\hfuzz=1pt
  1980.  
  1981. \global\pagewidth=\hsize
  1982. \global\pageheight=\vsize
  1983. \global\font\ninett=cmtt9
  1984.  
  1985. \global\let\smalllisp=\smalllispx
  1986. \global\let\smallexample=\smalllispx
  1987. \global\def\Esmallexample{\Esmalllisp}
  1988. }
  1989.  
  1990. %% For a final copy, take out the rectangles
  1991. %% that mark overfull boxes (in case you have decided
  1992. %% that the text looks ok even though it passes the margin).
  1993. \def\finalout{\overfullrule=0pt}
  1994.  
  1995. % Turn off all special characters except @
  1996. % (and those which the user can use as if they were ordinary)
  1997. % Define certain chars to be always in tt font.
  1998.  
  1999. \catcode`\"=\active
  2000. \def\activedoublequote{{\tt \char '042}}
  2001. \let"=\activedoublequote
  2002. \catcode`\~=\active
  2003. \def~{{\tt \char '176}}
  2004. \chardef\hat=`\^
  2005. \catcode`\^=\active
  2006. \def^{{\tt \hat}}
  2007. \catcode`\_=\active
  2008. \def_{{\tt \char '137}}
  2009. \catcode`\|=\active
  2010. \def|{{\tt \char '174}}
  2011. \chardef \less=`\<
  2012. \catcode`\<=\active
  2013. \def<{{\tt \less}}
  2014. \chardef \gtr=`\>
  2015. \catcode`\>=\active
  2016. \def>{{\tt \gtr}}
  2017.  
  2018. \catcode`\@=0
  2019.  
  2020. % \rawbackslashxx output one backslash character in current font
  2021. {\catcode`\\=\other
  2022. @gdef@rawbackslashxx{\}}
  2023.  
  2024. % \rawbackslash redefines \ as input to do \rawbackslashxx.
  2025. {\catcode`\\=\active
  2026. @gdef@rawbackslash{@let\=@rawbackslashxx }}
  2027.  
  2028. % \normalbackslash outputs one backslash in fixed width font.
  2029. \def\normalbackslash{{\tt\rawbackslashxx}}
  2030.  
  2031. % Say @foo, not \foo, in error messages.
  2032. \escapechar=`\@
  2033.  
  2034. %% These look ok in all fonts, so just make them not special.  The @rm below
  2035. %% makes sure that the current font starts out as the newly loaded cmr10
  2036. \catcode`\$=\other \catcode`\%=\other \catcode`\&=\other \catcode`\#=\other
  2037.  
  2038. \catcode 17=0   @c Define control-q
  2039. \catcode`\\=\active
  2040. @let\=@normalbackslash
  2041.  
  2042. @textfonts
  2043. @rm
  2044.